ATC.UNF[MRS,LSP]8 - www.SailDart.org

perm filename ATC.UNF[MRS,LSP]8 blob sn#685277 filedate 1982-10-28 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON OCTOBER 28, 1982, AT 6:37 PM

;Loading DEFSTRUCT 233
'↑↓-TERM 
'LT-QUANTIFIER 
'ROLELINK 
'PFC-FORMULA 
'ROLEXENTRY 
'LT-λ-EXPR 
'LT-λ-PREFIX 
'PATHKEYLIST 
	(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR)) 
	(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR)) 
	(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR)) 
	(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR)) 
	(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR)) 
	(COMMENT **FASL** 303. (LAP |LAMBDA-OPR MACRO| SUBR)) 
	(COMMENT **FASL** 332. (LAP |E:DO MACRO| SUBR)) 
	(COMMENT **FASL** 360. (LAP |E:VAR MACRO| SUBR)) 
	(COMMENT **FASL** 392. (LAP E:SETLINE SUBR)) 
	(COMMENT **FASL** 430. (LAP |ADDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 468. (LAP |ENDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 517. (LAP |ENDADD MACRO| SUBR)) 
	(COMMENT **FASL** 572. (LAP |RASSQ MACRO| SUBR)) 
	(COMMENT **FASL** 621. (LAP |EDITXDO MACRO| SUBR)) 
	(COMMENT **FASL** 675. (LAP |EDITDO MACRO| SUBR)) 
	(COMMENT **FASL** 713. (LAP |COPYLIST MACRO| SUBR)) 
	(COMMENT **FASL** 739. (LAP |BUTLAST MACRO| SUBR)) 
	(COMMENT **FASL** 770. (LAP |REPEAT MACRO| SUBR)) 
	(COMMENT **FASL** 810. (LAP |SETF* MACRO| SUBR)) 
	(COMMENT **FASL** 846. (LAP |SOME MACRO| SUBR)) 
	(COMMENT **FASL** 911. (LAP |SUBSET MACRO| SUBR)) 
	(COMMENT **FASL** 961. (LAP GOOD-NREVERSE SUBR)) 
	(COMMENT **FASL** 1018. (LAP NSUBLIS SUBR)) 
	(COMMENT **FASL** 1078. (LAP |HUNKQUANTP MACRO| SUBR)) 
	(COMMENT **FASL** 1113. (LAP QNSUBLIS SUBR)) 
	(COMMENT **FASL** 1248. (LAP |CONDCARPUSH MACRO| SUBR)) 
	(COMMENT **FASL** 1310. (LAP |WRITE MACRO| SUBR)) 
	(COMMENT **FASL** 1389. (LAP SPACES SUBR)) 
	(COMMENT **FASL** 1406. (LAP |NORMALIZE-CONNECTIVE MACRO| SUBR)) 
	(COMMENT **FASL** 1436. (LAP LINTYPE SUBR)) 
	(COMMENT **FASL** 1639. (LAP E-LIN SUBR)) 
	(COMMENT **FASL** 1640. (LAP E-LIN-C SUBR)) 
	(COMMENT **FASL** 1644. (LAP ENCODE-LINFORMULA SUBR)) 
	(COMMENT **FASL** 1654. (LAP |SETUPQUANTS MACRO| SUBR)) 
	(COMMENT **FASL** 1703. (LAP |ORDER-PATHKEYS MACRO| SUBR)) 
	(COMMENT **FASL** 1729. (LAP ENCODE-LINFORMULA-S SUBR)) 
	(COMMENT **FASL** 2012. (LAP TRANSFORM-ROLELINKS SUBR)) 
	(COMMENT **FASL** 2143. (LAP |NORMALIZE-DETERMINER MACRO| SUBR)) 
	(COMMENT **FASL** 2207. (LAP ENCODE-QUANT SUBR)) 
	(COMMENT **FASL** 2407. (LAP VARIABLE-RANGE SUBR)) 
	(COMMENT **FASL** 2450. (LAP GETFORMULA SUBR)) 
	(COMMENT **FASL** 2477. (LAP |ATC-GET MACRO| SUBR)) 
	(COMMENT **FASL** 2537. (LAP |ATC-PLIST MACRO| SUBR)) 
	(COMMENT **FASL** 2616. (LAP Q-KERNEL SUBR)) 
	(COMMENT **FASL** 2631. (LAP Q-KERNEL-LT-TYPE SUBR)) 
	(COMMENT **FASL** 2633. (LAP LT-TYPE SUBR)) 
	(COMMENT **FASL** 2842. (LAP LT-TYPE* SUBR)) 
	(COMMENT **FASL** 3026. (LAP DISPLAY LSUBR)) 
	(COMMENT **FASL** 3050. (LAP DPYLIST SUBR)) 
	(COMMENT **FASL** 3067. (LAP VNSUBLIS SUBR)) 
	(COMMENT **FASL** 3094. (LAP |INITIALIZE-GENVARINDEX MACRO| SUBR)) 
	(COMMENT **FASL** 3103. (LAP GENVAR LSUBR)) 
	(COMMENT **FASL** 3236. (LAP |TERMSORT-VARANGE MACRO| SUBR)) 
	(COMMENT **FASL** 3267. (LAP MAKE-QVLIST SUBR)) 
	(COMMENT **FASL** 3460. (LAP |UNARY-ATOMIC MACRO| SUBR)) 
	(COMMENT **FASL** 3507. (LAP |NOPAREN-DISJUNCT MACRO| SUBR)) 
	(COMMENT **FASL** 3516. (LAP |DPYLIST-ROLINK MACRO| SUBR)) 
	(COMMENT **FASL** 3584. (LAP |MAKE-↑↓-[-ATOM MACRO| SUBR)) 
	(COMMENT **FASL** 3616. (LAP |Z-BASE-EQUIV MACRO| SUBR)) 
	(COMMENT **FASL** 3648. (LAP DPYLIST-S SUBR)) 
	(COMMENT **FASL** 4397. (LAP TCONC SUBR)) 
	(COMMENT **FASL** 4428. (LAP LCONC SUBR)) 
	(COMMENT **FASL** 4466. (LAP TERMSORT SUBR)) 
	(COMMENT **FASL** 4574. (LAP NORMALIZE-TERMSORTEXPR SUBR)) 
	(COMMENT **FASL** 4618. (LAP |PRINCLIST MACRO| SUBR)) 
	(COMMENT **FASL** 4645. (LAP |PRINSOURCECHUNK MACRO| SUBR)) 
	(COMMENT **FASL** 4654. (LAP |GETSBQLINE MACRO| SUBR)) 
	(COMMENT **FASL** 4729. (LAP |NEXTITEMSIZE MACRO| SUBR)) 
	(COMMENT **FASL** 4757. (LAP |PRINITEMS MACRO| SUBR)) 
	(COMMENT **FASL** 4821. (LAP |PRINSUBQUANT1 MACRO| SUBR)) 
	(COMMENT **FASL** 4854. (LAP |PRINSUBQUANT2 MACRO| SUBR)) 
	(COMMENT **FASL** 4887. (LAP |GETQUANTLINE MACRO| SUBR)) 
	(COMMENT **FASL** 4938. (LAP |GETλ-LINE MACRO| SUBR)) 
	(COMMENT **FASL** 4987. (LAP |MAXVARIABLENGTH MACRO| SUBR)) 
	(COMMENT **FASL** 5022. (LAP |SPACELEFT MACRO| SUBR)) 
	(COMMENT **FASL** 5031. (LAP STRAIGHTPRIN SUBR)) 
	(COMMENT **FASL** 5295. (LAP PRINQUANT SUBR)) 
	(COMMENT **FASL** 5572. (LAP PRINλ-EXPR SUBR)) 
	(COMMENT **FASL** 5623. (LAP TAB SUBR)) 
	(COMMENT **FASL** 5653. (LAP CURRENTPOS LSUBR)) 
'LINK-NODE 
'LEAF-NODE 
'LTCC-PLIST 
	(COMMENT **FASL** 5669. (LAP NRML-ANL-YZE-LINFORMULA LSUBR)) 
	(COMMENT **FASL** 5699. (LAP |NRML-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 5728. (LAP |NRML-ANL-YZE MACRO| SUBR)) 
	(COMMENT **FASL** 5781. (LAP |LT-CONCEPT-TYPE MACRO| SUBR)) 
	(COMMENT **FASL** 5832. (LAP |ADD-NEWLINK MACRO| SUBR)) 
	(COMMENT **FASL** 5880. (LAP |LEAF-UNIT MACRO| SUBR)) 
	(COMMENT **FASL** 5905. (LAP NORMALIZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 5996. (LAP INITIALIZE-CMPD-CONCEPT SUBR)) 
	(COMMENT **FASL** 6069. (LAP |CONCEPT-BODY MACRO| SUBR)) 
	(COMMENT **FASL** 6112. (LAP |1ST-PROCESS-↑-MATRIX MACRO| SUBR)) 
	(COMMENT **FASL** 6168. (LAP |PROCESS-↑-MATRIX MACRO| SUBR)) 
	(COMMENT **FASL** 6222. (LAP |COLLECT-IMAGES MACRO| SUBR)) 
	(COMMENT **FASL** 6278. (LAP |MERGED-PKLS MACRO| SUBR)) 
	(COMMENT **FASL** 6305. (LAP |SETUP-λ-EXPR MACRO| SUBR)) 
	(COMMENT **FASL** 6373. (LAP |PREVIOUS-LETTER MACRO| SUBR)) 
	(COMMENT **FASL** 6406. (LAP |ANALYZE-ADVERBIALIZATION MACRO| SUBR)) 
	(COMMENT **FASL** 6473. (LAP |INST-KEYS MACRO| SUBR)) 
	(COMMENT **FASL** 6535. (LAP ORDER-CNCPTS SUBR)) 
	(COMMENT **FASL** 6540. (LAP PRECEDES-CNCPT SUBR)) 
	(COMMENT **FASL** 6843. (LAP |GET-PKL-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 6914. (LAP |GET-Q-OP MACRO| SUBR)) 
	(COMMENT **FASL** 6971. (LAP |↑-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6998. (LAP |λ-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7025. (LAP |*-OR-↑-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7051. (LAP |*-OR-C-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7077. (LAP |C-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7104. (LAP |2:9-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7141. (LAP |NUMERAL-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7178. (LAP |λ↑-RAISE-CC-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7211. (LAP |RAISE-CC MACRO| SUBR)) 
	(COMMENT **FASL** 7267. (LAP |RAISE-CC-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7300. (LAP |GET-BASE-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7348. (LAP |GET-S&S-KEY MACRO| SUBR)) 
	(COMMENT **FASL** 7404. (LAP NORMRAISE-CC LSUBR)) 
	(COMMENT **FASL** 7913. (LAP QV-QUASI-UNSUBST LSUBR)) 
	(COMMENT **FASL** 8212. (LAP ANALYZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 10198. (LAP NACC LSUBR)) 
	(COMMENT **FASL** 10240. (LAP |GET-PK-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 10283. (LAP |GET-MERGEKEYS MACRO| SUBR)) 
	(COMMENT **FASL** 10339. (LAP |EXPAND-MERGED-PKEYLISTS MACRO| SUBR)) 
	(COMMENT **FASL** 10396. (LAP ANALYZE-ROLEMERGE SUBR)) 
	(COMMENT **FASL** 10593. (LAP ATOM-CONVERTIBLE SUBR)) 
	(COMMENT **FASL** 10643. (LAP ADJUST-λ-TERMSORT SUBR)) 
	(COMMENT **FASL** 10678. (LAP COMMON-SUBSORT* SUBR)) 
	(COMMENT **FASL** 10722. (LAP SUPERSORT* SUBR)) 
	(COMMENT **FASL** 10859. (LAP |MAKE-↑-MARKER MACRO| SUBR)) 
	(COMMENT **FASL** 10922. (LAP PATHKEY-SORT SUBR)) 
	(COMMENT **FASL** 11073. (LAP GET-ROLELINK SUBR)) 
	(COMMENT **FASL** 11106. (LAP |ALPHA-NTH MACRO| SUBR)) 
	(COMMENT **FASL** 11151. (LAP TERM-SUBRANCH SUBR)) 
	(COMMENT **FASL** 11233. (LAP COPYALLCONS SUBR)) 
	(COMMENT **FASL** 11249. (LAP COPY-1-1-PKLS SUBR)) 
	(COMMENT **FASL** 11286. (LAP LT-COPYALL SUBR)) 
	(COMMENT **FASL** 11294. (LAP LT-SUBST SUBR)) 
	(COMMENT **FASL** 11305. (LAP LT-SUBST* SUBR)) 
	(COMMENT **FASL** 11546. (LAP SELECT&SHORTEN SUBR)) 
	(COMMENT **FASL** 11611. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR)) 
	(COMMENT **FASL** 11616. (LAP ORDER-PATHKEYLISTS SUBR)) 
	(COMMENT **FASL** 11618. (LAP ORDER-ROLELINKS SUBR)) 
	(COMMENT **FASL** 11629. (LAP COMPARE-ROLEORDER SUBR)) 
	(COMMENT **FASL** 11635. (LAP CULL-EQS SUBR)) 
	(COMMENT **FASL** 11654. (LAP |CONDENSE-RL-KEYLISTS MACRO| SUBR)) 
	(COMMENT **FASL** 11693. (LAP SOME-DUPLICATE-ROLEMARKS SUBR)) 
	(COMMENT **FASL** 11781. (LAP |ATOM-QUASI-UNSUBST MACRO| SUBR)) 
	(COMMENT **FASL** 11889. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR)) 
	(COMMENT **FASL** 11904. (LAP ANALYZE-INSTANTIATION SUBR)) 
	(COMMENT **FASL** 12522. (LAP λ-UNSUBST LSUBR)) 
	(COMMENT **FASL** 12637. (LAP |CC-KEY-ROLINK-NUMBER MACRO| SUBR)) 
	(COMMENT **FASL** 12688. (LAP |INITSTR= MACRO| SUBR)) 
	(COMMENT **FASL** 12741. (LAP λ-INST-KEY SUBR)) 
	(COMMENT **FASL** 12817. (LAP RAISEATOM SUBR)) 
	(COMMENT **FASL** 12866. (LAP GET-↑-MARKER SUBR)) 
	(COMMENT **FASL** 12907. (LAP GET-↑-TALLY SUBR)) 
	(COMMENT **FASL** 13025. (LAP LOWER-↑-ATOM SUBR)) 
	(COMMENT **FASL** 13073. (LAP LOWER-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 13114. (LAP RAISE-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 13152. (LAP RAISE↑-TERM SUBR)) 
	(COMMENT **FASL** 13189. (LAP |NEXTLETTER MACRO| SUBR)) 
	(COMMENT **FASL** 13222. (LAP KEYNUMBER SUBR)) 
	(COMMENT **FASL** 13244. (LAP |LISTCOMPS MACRO| SUBR)) 
	(COMMENT **FASL** 13276. (LAP |EXPOUND-ANALYSIS-MODULE-1 MACRO| SUBR)) 
	(COMMENT **FASL** 13393. (LAP POSPRINC LSUBR)) 
	(COMMENT **FASL** 13460. (LAP ANALYZE&EXPOUND LSUBR)) 
	(COMMENT **FASL** 13768. (LAP A&E LSUBR)) 
	(COMMENT **FASL** 13791. (LAP FIX-AL SUBR)) 
	(COMMENT **FASL** 13858. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR)) 
	(COMMENT **FASL** 14026. (LAP EXPLORE-DNET LSUBR)) 
	(COMMENT **FASL** 14204. (LAP XPDN LSUBR)) 
	(COMMENT **FASL** 14228. (LAP GET-XPDN-COMMAND SUBR)) 
	(COMMENT **FASL** 14232. (LAP TRAVERSE-LINKS SUBR)) 
	(COMMENT **FASL** 14471. (LAP DISPLAY-KEYPATH SUBR)) 
	(COMMENT **FASL** 14594. (LAP DISPLAY-NODE SUBR)) 
	(COMMENT **FASL** 14776. (LAP EXTEND-CURRENT-KEYPATH SUBR)) 
	(COMMENT **FASL** 14842. (LAP SHORTEN-CURRENT-NODEPATH SUBR)) 
	(COMMENT **FASL** 15018. (LAP COUNT-LINKS&LEAVES SUBR)) 
	(COMMENT **FASL** 15105. (LAP PRINT-PROPERTIES SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 15407. (LAP XPDN-HELP SUBR)) 
	(COMMENT **FASL** 15517. (LAP LT-EVAL SUBR)) 
	(COMMENT **FASL** 15658. (LAP WEAKEST-STATUS SUBR)) 
	(COMMENT **FASL** 15677. (LAP SORT-MEMBER SUBR)) 
	(COMMENT **FASL** 15690. (LAP SORT-EXCLUSIVE SUBR)) 
	(COMMENT **FASL** 15761. (LAP |ES-FILTER MACRO| SUBR)) 
	(COMMENT **FASL** 15787. (LAP LT-GROSSEVAL SUBR)) 
(COMMENT ****  (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS) 
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  15805. WORDS)